Georges Gonthier: The Logic Of Real Proofs

Georges Gonthier: The Logic of Real Proofs

Federated Logic Conference FLoC 2018

Georges Gonthier: "Foothills and cathedrals: organising the libraries behind big proofs"

Topos Institute

Georges Gonthier: Computer proofs: teaching computers mathematics, and conversely

International Mathematical Union

Mechanizing the Odd Order Theorem: Local Analysis - Georges Gonthier

Institute for Advanced Study

BPR programme: participant Georges Gonthier explains "Four colour theorem"

Isaac Newton Institute for Mathematical Sciences

Georges Gonthier: the four colour theorem

RU Computer Science

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

Video Portrait of Georges Gonthier

Microsoft Research

2 - Kick-off afternoon : Georges Gonthier, Digitizing the Group Theory of the Odd Order Theorem

Institut Henri Poincaré

Georges Gonthier: Programming Mathematics: Tools and Challenges

Hausdorff Center for Mathematics

The story of mathematical proof – with John Stillwell

The Royal Institution

Discrete Math - 1.8.2 Proofs of Existence And Uniqueness

Georges Gonthier - Functional Encodings of Mathematics

Institut des Hautes Etudes Scientifiques (IHES)

Video Portrait of Georges Gonthier

A Gentle Introduction to Mathematical Logic V: Proof Theory

The Learning Channel of Quantitative Sciences

Logic 101 (#36): Introduction to Proofs

William Spaniel

Programming Proofs and Proving Programs

Microsoft Research

Proof Engineering, from the Four Colour to the Odd Order Theorem

Microsoft Research

Proofs in Symbolic Logic | Attic Philosophy

Attic Philosophy

Excerpts from documentary "Towards a Semantic Language of Mathematics"